Gap Analysis for Survivable PCS : Final Report
نویسنده
چکیده
This material is based upon work supported by the U.S. Department of Homeland Security under Grant Award Number 2006-CS-001-000001, under the auspices of the Institute for Information Infrastructure Protection (I3P) research program. The I3P is managed by Dartmouth College. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of the U.S. Department of Homeland Security, the I3P, or Dartmouth College.
منابع مشابه
AFRL-OSR-VA-TR-2013-0164 Survivable Software
The Survivable Software framework (SSW), developed under award AFOSR FA955009-1-0481, uses a synergistic combination of (1) compiler-assisted, aspect-oriented program instrumentation, (2) software monitoring with overhead control, (3) runtime verification with state estimation, and (4) adaptive runtime verification to closely monitor high-criticality monitor instances, thereby increasing the pr...
متن کاملA Fast Strategy to Find Solution for Survivable Multicommodity Network
This paper proposes an immediately efficient method, based on Benders Decomposition (BD), for solving the survivable capacitated network design problem. This problem involves selecting a set of arcs for building a survivable network at a minimum cost and within a satisfied flow. The system is subject to failure and capacity restriction. To solve this problem, the BD was initially proposed with ...
متن کاملGrowth Performance, Hematological and Mineral Profile of Post-Weaning Calves as Influenced by Inclusion of Pelleted-Concentrate Supplement Containing Essential Oils and Probiotics
Two experimental factors (dietary treatment with or without pelleted-concentrate supplement (PCS) and sex) were investigated in crossbreed post-weaning calves to monitor their effects on performance, hematological profile, and plasma mineral concentration. Twenty-four post-weaning calves were classified according to sexually (either male or female) and randomly distributed into two dietary trea...
متن کاملPortageLive: Delivering Machine Translation Technology via Virtualization
We describe and report initial results on using virtual machines as a vehicle to deploy machine translation technology to the marketplace. Virtual machines can bridge the gap between the computing infrastructure typically used in research environments and commodity PCs typical of office environments. A key component is the compact representation of the underlying databases and models in tightly...
متن کاملFactors Affecting Platelet Concentration in Platelet Concentrates from Canine Blood Donors
BACKGROUND Physiologic factors in dogs that might contribute to enhanced platelet yield in platelet concentrates (PCs) are largely unknown. OBJECTIVE To determine whether individual differences in weight, age, preprocessing blood chemistry, and CBC variables predict the final platelet concentrations in PCs. Our hypotheses were (1) increased lipemic indices would be positively associated with ...
متن کامل